Revision: tla-tools--devo--0--patch-24
Archive: miles@gnu.org--gnu-2003
Creator: Miles Bader <miles@gnu.org>
Date: Thu Sep  4 12:57:36 JST 2003
Standard-date: 2003-09-04 03:57:36 GMT
Modified-files: tla-update-tags
New-patches: miles@gnu.org--gnu-2003/tla-tools--devo--0--patch-24
Summary: Use correct filename for deducing type in tla-update-tags

